DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Bando di selezione per il conferimento di assegni di ricerca per lo svolgimento del programma di ricerca denominato: “VERIFICA FORMALE AUTOMATIZZATA DI SISTEMI REAL-TIME/TECNICHE BASATE SU LOGICA PER LA VERIFICA FORMALE AUTOMATIZZATA DI SISTEMI IBRIDI REAL-TIME_2019_ASSEGNI_DEIB_207”